meaning in extension

外延